logique défaisable中文是什么意思

• 可废止逻辑

• "logique"中文翻译    音标：[lɔʒ ik] f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果 a.
• "défaisable"中文翻译    a.可以拆除的，可以拆开的，可以解开的
• "défaisable" 中文翻译 :    a.可以拆除的，可以拆开的，可以解开的
• "logique déontique" 中文翻译 :    道义逻辑
• "faisable" 中文翻译 :    音标：[fzabl]a. 可做的，可行的adj. 可操作的,可行的faisableadj.可行的近义词exécutable, possible, réalisable
• "numéro d’unité logique" 中文翻译 :    逻辑单元号
• "logique d'ordre supérieur" 中文翻译 :    高阶逻辑
• "démonstration (logique et mathématique)" 中文翻译 :    数学证明
• "logique d'ordre supérieur#logique du second ordre" 中文翻译 :    二阶逻辑
• "logique d’application" 中文翻译 :    应用程序逻辑
• "carré logique" 中文翻译 :    对立四边形
• "interprétation (logique)" 中文翻译 :    解释 (逻辑)
• "littéral (logique)" 中文翻译 :    文字 (数理逻辑)
• "logique algébrique" 中文翻译 :    代数逻辑
• "logique linéaire" 中文翻译 :    线性逻辑
• "logique mathématique" 中文翻译 :    数理逻辑
• "logique métier" 中文翻译 :    商业规则
• "logique paracohérente" 中文翻译 :    次协调逻辑
• "logique séquentielle" 中文翻译 :    时序逻辑电路
• "négation logique" 中文翻译 :    逻辑非
• "prélogique" 中文翻译 :    音标：[prelɔʒ ik]a. 前逻辑的
• "schéma logique" 中文翻译 :    逻辑架构
• "sémantique formelle (logique)" 中文翻译 :    逻辑语义学
• "unité logique" 中文翻译 :    逻辑设备
• "équivalence logique" 中文翻译 :    逻辑等价

• La logique défaisable est une logique non-monotone proposée par Donald Nute pour formaliser le raisonnement défaisable.
  可废止逻辑是Donald Nute提出的用来形式化可废止推理的非单调逻辑。